;(function () {
  //首先我们能确认一定有个 never 类型，因为它代表了“虚无”的类型，一个根本不存在的类型。对于这样的类型，它会是任何类型的子类型，当然也包括字面量类型：
  type Result33 = never extends 'lys' ? 1 : 2 //1

  //可能又想到了一些特别的部分，比如 null、undefined、void。
  type Result34 = undefined extends 'lys' ? 1 : 2 //2
  type Result35 = null extends 'lys' ? 1 : 2 //2
  type Result36 = void extends 'lys' ? 1 : 2 //2
  //在 TypeScript 中，void、undefined、null 都是切实存在、有实际意义的类型，它们和 string、number、object 并没有什么本质区别。
  //因此，这里我们得到的结论是，never < 字面量类型。这就是类型世界的最底层
})()
